Two Order Invariants Related to the Fixed Point Property

ثبت نشده
چکیده

19 Problem 1: In all the examples seen in this paper, we have (P) = (P) if the latter is even, and (P) = (P) ? 1 otherwise. Could one nd a poset for which this is not the case? Problem 2: In all the examples of the article, the function takes all even values between 0 and (P). Can it be shown that this is always the case, that is, for any nite connected order P, the spectrum of is f0; 2 Problem 3: Are and invariants of the comparability graph as well, that is, given two orders P and Q that have the same comparability graph, do we have (P) = (Q) and (P) = (Q)? References 1] S. Abian and A.B. Brown, A theorem on partially ordered sets with application to xed point theorems, Can. 2] E. Corominas, Sur les ensembles ordonn es projectifs et la propri et e du point xe, C. R. 18 Proposition 6.3 Every minimal automorphic order is-and-minimal. Proof: Let P be minimal automorphic and R be a proper retract of P. By Proposition 6.1, there are retracts R 1 and R 2 of R with respective auto-morphisms f 1 and f 2 , such that (R) = (f 1) and (R) = (f 2). Then R 1 and R 2 are proper retracts of P, so by minimality of P f 1 and f 2 have xed points and (R) = (R) = 0. The following example shows that not all-minimal orders are minimal automorphic. Example 5: We show that for n 1, X 4n+2 (see Section 4) is-minimal. Let R be a retract of X 4n+2 such that (R) = (X 4n+2) = 2n + 2, and let be the corresponding retraction. Then R has diameter 2n + 2 and there exists an endomorphism f of R such that d(x; f(x)) = 2n + 2 for all x 2 R. Since X 4n+2 is a braid, f must be the restriction to R of the antipodal map. Assume without loss of generality that 0 2 R, so f(0) = 4n + 2 2 R and R contains a fence of length 2n + 2 from 0 to 4n + 2. Suppose that fence is n?1 i=0 f4i; 4i+3gf4n; 4n+1; 4n+2g, all other cases being similar. By taking the closure of the fence under f, we get n?1 i=0 f4i; 4i + …

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Common Fixed Point Theorems for Weakly Compatible Mappings by (CLR) Property on Partial Metric Space

The purpose of this paper is to obtain the common fixed point results for two pair of weakly compatible mapping by using common (CLR) property in partial metric space. Also we extend the very recent results which are presented in [17,  Muhammad Sarwar, Mian Bahadur Zada and Inci M. Erhan, Common Fixed Point Theorems of Integral type on Metric Spaces and application to system of functional equat...

متن کامل

COUPLED FIXED POINT THEOREMS FOR RATIONAL TYPE CONTRACTIONS VIA C-CLASS FUNCTIONS

In this paper, by using C-class functions, we will present a coupled …xed problem in b-metric space for the single-valued operators satisfying a generalized contraction condition. First part of the paper is related to some …xed point theorems, the second part presents the uniqueness and existence for the solution of the coupled …xed point problem and in the third part we...

متن کامل

(JCLR) property and fixed point in non-Archimedean fuzzy metric spaces

The aim of the present paper is to introduce the concept of joint common limit range property ((JCLR) property) for single-valued and set-valued maps in non-Archimedean fuzzy metric spaces. We also list some examples to show the difference between (CLR) property and (JCLR) property. Further, we establish common fixed point theorems using implicit relation with integral contractive condition. Se...

متن کامل

Coupled fixed point results for weakly related mappings in partially ordered metric spaces

In the present paper‎, ‎we show the existence of a coupled fixed point for a non-decreasing mapping in partially ordered complete metric space using a partial order induced by an appropriate function $phi$‎. ‎We also define the concept of weakly related mappings on an ordered space‎. ‎Moreover common coupled fixed points for two and three weakly related mappings are also proved in the same space‎.

متن کامل

Inductive Invariants for Nested Recursion

We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Inductive invariants can be used to enhance the standard recdef definition package in Isabelle/HOL. We also offer a formalized theory in higher-order logic that incorporates inductive invariants and that can be used as an alternativ...

متن کامل

Nonexpansive mappings on complex C*-algebras and their fixed points

A normed space $mathfrak{X}$ is said to have the fixed point property, if for each nonexpansive mapping $T : E longrightarrow E $ on a nonempty bounded closed convex subset $ E $ of $ mathfrak{X} $ has a fixed point. In this paper, we first show that if $ X $ is a locally compact Hausdorff space then the following are equivalent: (i) $X$ is infinite set, (ii) $C_0(X)$ is infinite dimensional, (...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998